科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:取消SAT和QSAT的条款
Heule, Marijn; Järvisalo, Matti; Lonsing, Florian; Seidl, Martina; Biere, Armin;
机译:取消SAT和QSAT条款
机译:UnitWalk:一种新的SAT求解器,使用通过单元子句消除指导的本地搜索
机译:使用FPGA消除SAT问题中的变量和子句
机译:用于子句学习SAT求解器的高效算法
机译:快速外科手术气道评估创伤(qSAT)评分对识别急诊室需要手术气道的创伤患者的预测价值
机译:通过消除变量和从句来有效地对SAT进行预处理
机译:MAX-SAT的简化子句
机译:简化MAX-SAT条款
机译:基于模板子句的SAT技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。